ReP USP - Resultado da busca

Trabalho de evento-anais periodico
More on categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel G. da
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da*20Silva-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2018). More on categorial forms of the axiom of choice. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da*20Silva-SAJL.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da*20Silva-SAJL.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da*20Silva-SAJL.pdf
Trabalho de evento-anais periodico
Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings (2018)
Figueiredo, Rodrigo; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Figueiredo, R., & Mariano, H. L. (2018). Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
NLM
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
Vancouver
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
Trabalho de evento-anais periodico
Classifying toposes for some theories of 'C POT. ∞'−rings (2018)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Classifying toposes for some theories of 'C POT. ∞'−rings. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Berni, J. C., & Mariano, H. L. (2018). Classifying toposes for some theories of 'C POT. ∞'−rings. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
NLM
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
Vancouver
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
Artigo de periodico-apres/intr
Proceedings of the XVIII Brazilian Logic Conference. [Preface] (2018)
Arenhart, Jonas R. Becker ; Mariano, Hugo Luiz ; Sanz, Wagner C ; Ventura, Daniel
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENHART, Jonas R. Becker et al. Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Arenhart, J. R. B., Mariano, H. L., Sanz, W. C., & Ventura, D. (2018). Proceedings of the XVIII Brazilian Logic Conference. [Preface]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
NLM
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Vancouver
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Trabalho de evento-anais periodico
Finitary filter pairs and propositional logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Trabalho de evento-anais periodico
Analyzing categories of signatures (2018)
Mendes, Caio A; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio A e MARIANO, Hugo Luiz. Analyzing categories of signatures. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Mendes, C. A., & Mariano, H. L. (2018). Analyzing categories of signatures. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
NLM
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Vancouver
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Artigo de periodico
Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism (2018)
Stern, Julio Michael
Source: South American Journal of Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism. South American Journal of Logic, n. 1, p. 219–252, 2018Tradução . . Disponível em: http://www.sa-logic.org/start1.html. Acesso em: 14 maio 2024.
APA
Stern, J. M. (2018). Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism. South American Journal of Logic, ( 1), 219–252. Recuperado de http://www.sa-logic.org/start1.html
NLM
Stern JM. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism [Internet]. South American Journal of Logic. 2018 ;( 1): 219–252.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/start1.html
Vancouver
Stern JM. Karl Pearson and the logic of science: renouncing causal understanding (the bride) and inverted spinozism [Internet]. South American Journal of Logic. 2018 ;( 1): 219–252.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/start1.html
Trabalho de evento-anais periodico
On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
Guerra, Paulo T; Wassermann, Renata
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, COMPUTABILIDADE E COMPLEXIDADE, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
NLM
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Vancouver
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Trabalho de evento-anais periodico
On rings of fractions of reduced f-rings by non zero-divisors (2018)
Miraglia Neto, Francisco
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS COMUTATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. On rings of fractions of reduced f-rings by non zero-divisors. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf. Acesso em: 14 maio 2024. , 2018
APA
Miraglia Neto, F. (2018). On rings of fractions of reduced f-rings by non zero-divisors. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
NLM
Miraglia Neto F. On rings of fractions of reduced f-rings by non zero-divisors [Internet]. South American Journal of Logic. 2018 ; 4( 2): 423-440.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
Vancouver
Miraglia Neto F. On rings of fractions of reduced f-rings by non zero-divisors [Internet]. South American Journal of Logic. 2018 ; 4( 2): 423-440.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
Artigo de periodico
Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: South American Journal of Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 14 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
NLM
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Vancouver
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Artigo de periodico
On extensions of isomorphisms of substructures (2017)
Souza, Edelcio Goncalves de ; Rodrigues, Alexandre Augusto Martins
Source: South American Journal of Logic. Unidades: FFLCH, IME
Assunto: GEOMETRIA DIFERENCIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Edelcio Goncalves de e RODRIGUES, Alexandre Augusto Martins. On extensions of isomorphisms of substructures. South American Journal of Logic, v. 3, n. 1, p. 123–130, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/06-Souza-Rodrigues-SAJL.pdf. Acesso em: 14 maio 2024.
APA
Souza, E. G. de, & Rodrigues, A. A. M. (2017). On extensions of isomorphisms of substructures. South American Journal of Logic, 3( 1), 123–130. Recuperado de http://www.sa-logic.org/sajl-v3-i1/06-Souza-Rodrigues-SAJL.pdf
NLM
Souza EG de, Rodrigues AAM. On extensions of isomorphisms of substructures [Internet]. South American Journal of Logic. 2017 ; 3( 1): 123–130.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v3-i1/06-Souza-Rodrigues-SAJL.pdf
Vancouver
Souza EG de, Rodrigues AAM. On extensions of isomorphisms of substructures [Internet]. South American Journal of Logic. 2017 ; 3( 1): 123–130.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v3-i1/06-Souza-Rodrigues-SAJL.pdf
Trabalho de evento-anais periodico
The von Neumann-regular hull of (preordered) rings and quadratic forms (2016)
Arndt, Peter; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz. The von Neumann-regular hull of (preordered) rings and quadratic forms. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf. Acesso em: 14 maio 2024. , 2016
APA
Arndt, P., & Mariano, H. L. (2016). The von Neumann-regular hull of (preordered) rings and quadratic forms. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
NLM
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Vancouver
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Trabalho de evento-anais periodico
Some model theory of hypergeometric and Pfaffian functions (2016)
Bianconi, Ricardo
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Some model theory of hypergeometric and Pfaffian functions. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf. Acesso em: 14 maio 2024. , 2016
APA
Bianconi, R. (2016). Some model theory of hypergeometric and Pfaffian functions. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf
NLM
Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf
Vancouver
Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf
Trabalho de evento-anais periodico
A really simple proof of the Artin-Schreier characterization of real closed fields (2016)
Luciano, Odilon Otavio
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Subjects: TEORIA DOS CAMPOS, POLINÔMIOS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUCIANO, Odilon Otavio. A really simple proof of the Artin-Schreier characterization of real closed fields. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf. Acesso em: 14 maio 2024. , 2016
APA
Luciano, O. O. (2016). A really simple proof of the Artin-Schreier characterization of real closed fields. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf
NLM
Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf
Vancouver
Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 14 maio 2024. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Artigo de periodico
Bringing AGM to computer science (2015)
Wassermann, Renata ; Ribeiro, Márcio Moretto
Source: South American Journal of Logic. Unidades: IME, EACH
Subjects: LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata e RIBEIRO, Márcio Moretto. Bringing AGM to computer science. South American Journal of Logic, v. 1, n. 2, p. 447-459, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf. Acesso em: 14 maio 2024.
APA
Wassermann, R., & Ribeiro, M. M. (2015). Bringing AGM to computer science. South American Journal of Logic, 1( 2), 447-459. Recuperado de http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
NLM
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
Vancouver
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
Artigo de periodico
Model complete expansions of the real field by modular functions and forms (2015)
Bianconi, Ricardo
Source: South American Journal of Logic. Unidade: IME
Assunto: FUNÇÕES MODULARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model complete expansions of the real field by modular functions and forms. South American Journal of Logic, v. 1, n. 1, p. 321-335, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf. Acesso em: 14 maio 2024.
APA
Bianconi, R. (2015). Model complete expansions of the real field by modular functions and forms. South American Journal of Logic, 1( 1), 321-335. Recuperado de http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
NLM
Bianconi R. Model complete expansions of the real field by modular functions and forms [Internet]. South American Journal of Logic. 2015 ; 1( 1): 321-335.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
Vancouver
Bianconi R. Model complete expansions of the real field by modular functions and forms [Internet]. South American Journal of Logic. 2015 ; 1( 1): 321-335.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
Artigo de periodico
Model-theoretic applications of the profinite hull functor of special groups (2015)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
Source: South American Journal of Logic. Unidade: IME
Subjects: FORMAS QUADRÁTICAS, ÁLGEBRAS DE BOOLE, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, v. 1, n. 1, p. 111-133, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf. Acesso em: 14 maio 2024.
APA
Mariano, H. L., & Miraglia Neto, F. (2015). Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, 1( 1), 111-133. Recuperado de http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
NLM
Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
Vancouver
Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.[citado 2024 maio 14 ] Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Non normalized affiliation